Structured Parallel Simulation of Discrete-Event Systems
نویسنده
چکیده
Parallel simulation has not been widely accepted by the simulation practitioners due to the lack of language support and tools necessary for developing eecient parallel simulators. This paper describes the design of SPaDES (Structured Parallel Discrete-Event Simulation), a struc-tured parallel simulation workbench for developing portable simulation models, and a platform for designing experimentation of parallel simulation synchronization protocols. It consists of a C++ based parallel simulation language called SPaDES/C++ that allow the users to focus on modeling the systems to be simulated and not on the details of parallelization, i.e., independent of parallel programming and parallel simulation mechanism. SPaDES is distinguished from other parallel simulation languages because it integrates a process-oriented modeling methodology with object-oriented programming. A comparison of SPaDES/C++ with CSIM and Simscript using an example application is discussed.
منابع مشابه
Determination of optimum of production rate of network failure prone manufacturing systems with perishable items using discrete event simulation and Taguchi design of experiment
This paper, considers Network Failure Manufacturing System (NFPMS) and production control policy of unreliable multi-machines, multi-products with perishable items. The production control policy is based on the Hedging Point Policy (HPP). The important point in the simulation of this system is assumed that the customers who receive perishable item are placed in priority queue of the customers w...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملAppointment process of open-heart surgery in Shahid Rajaei Heart Hospital using a discrete event simulation approach
Background: The waiting list is a list of selected patients in the surgical queue. If demand exceeds capacity, the waiting list grows rapidly, which may lead to unacceptable waiting for patients, especially those in need of acute medical care. Patients waiting for heart surgery are placed on the waiting list for surgery, and sometimes the waiting time is longer than patients expect. Reducing th...
متن کاملAn analytical model based on simulation aiming to improve patient flow in a hospital surgical suite
Surgical suits allocate a large amount of expenses to hospitals; on the other hand, they constitute a huge part of hospital revenues. Patient flow optimization in a surgical suite by omitting or reducing bottlenecks which cause loss of time is one of the key solutions in minimizing the patients’ length of stay[1] (LOS) in the system, lowering the expenses, increasing efficiency, and also enhanc...
متن کامل